Formal sciences - PDFSEARCH.IO - Document Search Engine

Formal sciences
Results: 2816

#	Item
551	Chapter for Lipari Software Engineering Seminar Book; sent to Egon BoergerTHE NAME AND NATURE OF SOFTWARE ENGINEERING DRAFT OF 29 JUNE 2008 Michael Jackson The Open University Add to Reading List Source URL: mcs.open.ac.uk Language: English - Date: 2008-06-29 12:37:00 Formal methods Formal sciences Abstraction Software requirements Systems engineering Formal specification Reason System Engineering Science Knowledge Ethology
552	Statistics Using R with Biological Examples Kim Seefeld, MS, M.Ed.* Ernst Linder, Ph.D. Add to Reading List Source URL: cran.gis-lab.info Language: English - Date: 2007-05-31 10:22:40 Functional languages Scientific method Formal sciences Bioinformatics Data analysis R Markov chain Exploratory data analysis Biostatistics Science Statistics Mathematical software
553	Statistics Using R with Biological Examples Kim Seefeld, MS, M.Ed.* Ernst Linder, Ph.D. Add to Reading List Source URL: nbcgib.uesc.br Language: English - Date: 2007-05-31 10:22:40 Functional languages Scientific method Formal sciences Bioinformatics Data analysis R Markov chain Exploratory data analysis Biostatistics Science Statistics Mathematical software
554	1 UC Berkeley Logic Group Philosophy Preliminary Syllabus 2013 Decision Theory: Paradoxes and Alternatives (Prof Lara Buchak) Many normative alternatives to classical decision theory have arisen in recent (and not-so-rec Add to Reading List Source URL: logic.berkeley.edu Language: English - Date: 2014-08-24 16:43:20 Formal sciences Philosophy of mathematics Statistical inference Control theory Decision theory Risk Rationality Expected utility hypothesis Bayesian probability Science Knowledge Statistics
555	Statistics Using R with Biological Examples Kim Seefeld, MS, M.Ed.* Ernst Linder, Ph.D. Add to Reading List Source URL: mirrors.psu.ac.th Language: English - Date: 2007-05-31 10:22:40 Functional languages Scientific method Formal sciences Bioinformatics Data analysis R Markov chain Exploratory data analysis Biostatistics Science Statistics Mathematical software
556	Big Data – The next frontier for innovation Explore how businesses can uncover the hidden opportunities Add to Reading List Source URL: www.pwc.com.au Language: English - Date: 2015-02-15 22:29:14 Formal sciences Data management Analytics Business analytics Geo Sales Internet marketing Big data Direct marketing Business Marketing Business intelligence
557	A short course in analyzing next-generation sequencing data September 25, 2012 Keywords: bioinformatics, next generation sequencing, genomics. Add to Reading List Source URL: ged.msu.edu Language: English - Date: 2012-10-08 23:24:32 Bioinformatics Molecular biology Formal sciences DNA sequencing Computational biology Full genome sequencing Genomics Illumina RNA-Seq Biology Genetics Science
558	Fast Text Compression with Neural Networks Matthew V. Mahoney Florida Institute of Technology 150 W. University Blvd. Melbourne FL 32901 Add to Reading List Source URL: www.mattmahoney.net Language: English - Date: 2009-07-23 12:19:35 Science Information theory Computational neuroscience Lossless data compression Entropy Arithmetic coding Calgary Corpus Neural network Context mixing Data compression Information Formal sciences
559	Statistics Using R with Biological Examples Kim Seefeld, MS, M.Ed.* Ernst Linder, Ph.D. Add to Reading List Source URL: mirrors.dotsrc.org Language: English - Date: 2007-05-31 10:22:40 Functional languages Scientific method Formal sciences Bioinformatics Data analysis R Markov chain Exploratory data analysis Biostatistics Science Statistics Mathematical software
560	Statistics Using R with Biological Examples Kim Seefeld, MS, M.Ed.* Ernst Linder, Ph.D. Add to Reading List Source URL: cran.fyxm.net Language: English - Date: 2007-05-31 10:22:40 Functional languages Scientific method Formal sciences Bioinformatics Data analysis R Markov chain Exploratory data analysis Biostatistics Science Statistics Mathematical software

UPDATE